A Note on Depth Reduction: A Simple Proof of the Chasm
نویسنده
چکیده
Agrawal and Vinay [AV08] showed how any subexponential arithmetic circuit can be thought of as a depth four subexponential arithmetic circuit. This unexpected depth reduction to constant depth is in contrast to curcuits in the Boolean setting. The resulting circuit size in this simulation was more carefully analyzed by Korian [Koi12] and subsequently by Tavenas [Tav13]. We provide a simple proof of this chain of results. We then abstract the main ingredient to apply it to formulas and constant depth circuits.
منابع مشابه
A simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کاملThe Chasm at Depth Four, and Tensor Rank : Old results, new insights
Agrawal and Vinay [AV08] showed how any polynomial size arithmetic circuit can be thought of as a depth four arithmetic circuit of subexponential size. The resulting circuit size in this simulation was more carefully analyzed by Korian [Koi12] and subsequently by Tavenas [Tav15]. We provide a simple proof of this chain of results. We then abstract the main ingredient to apply it to formulas and...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملA SHORT PROOF FOR THE EXISTENCE OF HAAR MEASURE ON COMMUTATIVE HYPERGROUPS
In this short note, we have given a short proof for the existence of the Haar measure on commutative locally compact hypergroups based on functional analysis methods by using Markov-Kakutani fixed point theorem.
متن کاملAn Experimental Investigation of Enclosure’s Effect on Noise Reduction in Portable Generators (Technical Note)
The portable generators are the main means of compensating the shortage of national electricity power as in Iraq. However, their noise causes a huge disturbance, uncomforting and loss of concentration of the nearby resident. This problem requires a solution because most shops and residential houses use generators. Covering method is a simple and relatively low cost one for reduction of generato...
متن کامل